(6.2.4.2) Clean LanguageとSymbolic Modelling